of the infinite sequence (the {ascending Kleene chain}) obtained by repeatedly applying F to the totally undefined value, bottom. I.e.<BR> fix F = LUB {bottom, F bottom, F (F bottom), ...}.<BR><BR>The least fixed point is guaranteed to exist for a {continuous} function over a : FOLDOC

翻訳と辞書

Words near each other

Dictionary Lists

mini英和辞書

翻訳と辞書　辞書検索 [ 開発暫定版 ]

スポンサードリンク

fix F = LUB {bottom, F bottom, F (F bottom), ...}.

The least fixed point is guaranteed to exist for a {continuous} function over a>

of the infinite sequence (the {ascending Kleene chain}) obtained by repeatedly applying F to the totally undefined value, bottom. I.e.
fix F = LUB {bottom, F bottom, F (F bottom), ...}.

The least fixed point is guaranteed to exist for a {continuous} function over a ： FOLDOC

スポンサードリンク

翻訳と辞書 : 翻訳のためのインターネットリソース